Test cases generation from UML state diagrams

The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identiied by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and concurrent structure of states is attened and the broadcast communication is eliminated in the resulting EFSMs. Second, data ow is identiied by transforming EFSMs into ow graphs to which conventional data ow analysis techniques can be applied.